KEIMEL, KLAUS: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Domains and Processes || Encounters Between Topology and Domain Theory

Keimel, Klaus, Zhang, Guo-Qiang, Liu, Ying-Ming, Chen, Yi-Xang

Year:

2001

Language:

english

File:

PDF, 3.19 MB

english, 2001

2

A direct proof of the Hofmann-Mislove theorem

Keimel, Klaus, Paseka, Jan

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 291 KB

english, 1994

3

A Korovkin Type Approximation Theorem for Set-Valued Functions

Klaus Keimel and Walter Roth

Journal:

Proceedings of the American Mathematical Society

Year:

1988

Language:

english

File:

PDF, 181 KB

english, 1988

4

Samuel Wolfenstein in memoriam

Journal:

Year:

1988

Language:

english

File:

PDF, 245 KB

english, 1988

5

Books in review

Journal:

Year:

1988

Language:

english

File:

PDF, 153 KB

english, 1988

6

Baer extensions of rings and stone extensions of semigroups

Journal:

Semigroup Forum

Year:

1971

Language:

english

File:

PDF, 404 KB

english, 1971

7

Congruence relations on cone semigroups

Journal:

Semigroup Forum

Year:

1971

Language:

english

File:

PDF, 666 KB

english, 1971

8

A cross section theorem for certain compact abelian semigroups

Journal:

Semigroup Forum

Year:

1970

Language:

english

File:

PDF, 259 KB

english, 1970

9

Topological cones: functional analysis in a T0-setting

Journal:

Semigroup Forum

Year:

2008

Language:

english

File:

PDF, 604 KB

english, 2008

10

A Compendium of Continuous Lattices || Morphisms and Functors

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 5.89 MB

english, 1980

11

Preface

Berger, Ulrich, Blanck, Jens, Escardó, Martín, Keimel, Klaus

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 119 KB

english, 2015

12

Predicate transformers for extended probability and non-determinism

KEIMEL, KLAUS, PLOTKIN, GORDON D.

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 483 KB

english, 2009

13

A Direct Proof of the Hofmann-Mislove Theorem

Klaus Keimel and Jan Paseka

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 134 KB

english, 1994

14

Darstellung von Halbgruppen und universellen Algebren durch Schnitte in Garben; bireguläre Halbgruppen

Journal:

Mathematische Nachrichten

Year:

1970

Language:

german

File:

PDF, 950 KB

german, 1970

15

Kakutani property of the polytopes implies Kakutani property of the whole space

Klaus Keimel, Andrzej Wieczorek

Journal:

Journal of Mathematical Analysis and Applications

Year:

1988

Language:

english

File:

PDF, 740 KB

english, 1988

16

RETRACTED: Semantic Domains for Combining Probability and Non-Determinism

Regina Tix, Klaus Keimel, Gordon Plotkin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 1.23 MB

english, 2005

17

Extending Algebraic Operations to D-Completions

Klaus Keimel, Jimmie D. Lawson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

18

Preface

Yuri L. Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

19

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 335 KB

english, 2006

20

Bicontinuous Domains and Some Old Problems in Domain Theory

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 336 KB

english, 2009

21

Projective topology on bifinite domains and applications

Samy Abbes, Klaus Keimel

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 266 KB

english, 2006

22

Measure extension theorems for -spaces

Klaus Keimel, Jimmie D. Lawson

Journal:

Topology and its Applications

Year:

2005

Language:

english

File:

PDF, 215 KB

english, 2005

23

The monad of probability measures over compact ordered spaces and its Eilenberg–Moore algebras

Journal:

Topology and its Applications

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

24

The way-below relation of function spaces over semantic domains

Thomas Erker, Martín Hötzel Escardó, Klaus Keimel

Journal:

Topology and its Applications

Year:

1998

Language:

english

File:

PDF, 912 KB

english, 1998

25

Foreword

Klaus Keimel, Michael Mislove, Constantine Tsinakis

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 34 KB

english, 2000

26

Bi-continuous Valuations

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 300 KB

english, 1998

27

Preface: Volume 13, Issue 1

Abbas Edalat, Achim Jung, Klaus Keimel, Marta Kwiatkowska

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 32 KB

english, 1998

28

Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume

Journal:

Mathematische Zeitschrift

Year:

1967

Language:

german

File:

PDF, 1.59 MB

german, 1967

29

Eine Exponentialfunktion für kompakte abelsche Halbgruppen

Journal:

Mathematische Zeitschrift

Year:

1967

Language:

german

File:

PDF, 1.12 MB

german, 1967

30

Topologische Darstellung von Verbänden

Gerhard Gierz, Klaus Keimel

Journal:

Mathematische Zeitschrift

Year:

1976

Language:

german

File:

PDF, 1021 KB

german, 1976

31

-completions and the -topology

Klaus Keimel, Jimmie D. Lawson

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 953 KB

english, 2009

32

The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 254 KB

english, 2004

33

Semantic Domains for Combining Probability and Non-Determinism

Regina Tix, Klaus Keimel, Gordon Plotkin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.20 MB

english, 2009

34

The probabilistic powerdomain for stably compact spaces

Mauricio Alvarez-Manilla, Achim Jung, Klaus Keimel

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 311 KB

english, 2004

35

Extending algebraic operations to -completions

Klaus Keimel, Jimmie D. Lawson

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 314 KB

english, 2012

36

Locally convex cones and the Schröder-Simpson theorem

Journal:

Quaestiones Mathematicae

Year:

2012

Language:

english

File:

PDF, 770 KB

english, 2012

37

[IEEE ICASSP 2009 - 2009 IEEE International Conference on Acoustics, Speech and Signal Processing - Taipei, Taiwan (2009.04.19-2009.04.24)] 2009 IEEE International Conference on Acoustics, Speech and Signal Processing - No-reference video quality evaluation for high-definition video

Keimel, Christian, Oelbaum, Tobias, Diepold, Klaus

Year:

2009

Language:

english

File:

PDF, 158 KB

english, 2009

38

A Compendium of Continuous Lattices || A Primer on Complete Lattices

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 3.49 MB

english, 1980

39

A Compendium of Continuous Lattices || Compact Posets and Semilattices

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 3.52 MB

english, 1980

40

A Compendium of Continuous Lattices || Topology of Continuous Lattices: The Lawson Topology

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 3.69 MB

english, 1980

41

A Compendium of Continuous Lattices || Topology of Continuous Lattices: The Scott Topology

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 4.53 MB

english, 1980

42

A Compendium of Continuous Lattices || Spectral Theory of Continuous Lattices

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 2.02 MB

english, 1980

43

A Compendium of Continuous Lattices || Lattice Theory of Continuous Lattices

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 6.28 MB

english, 1980

44

A Compendium of Continuous Lattices || Topological Algebra and Lattice Theory: Applications

Gierz, Gerhard, Hofmann, Karl Heinrich, Keimel, Klaus, Lawson, Jimmie D., Mislove, Michael W., Scott, Dana S.

Year:

1980

Language:

english

File:

PDF, 3.18 MB

english, 1980

45

Quasicontinuous Domains and the Smyth Powerdomain

Heckmann, Reinhold, Keimel, Klaus

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 289 KB

english, 2013

46

[Lecture Notes in Mathematics] Lectures on the Applications of Sheaves to Ring Theory Volume 248 || The representation of lattice-ordered groups and rings by sections in sheaves

Year:

1971

Language:

english

File:

PDF, 2.97 MB

english, 1971

47

[IEEE 2013 20th IEEE International Conference on Image Processing (ICIP) - Melbourne, Australia (2013.09.15-2013.09.18)] 2013 IEEE International Conference on Image Processing - Length-independent refinement of video quality metrics based on multiway data analysis

Horch, Clemens, Keimel, Christian, Habigt, Julian, Diepold, Klaus

Year:

2013

Language:

english

File:

PDF, 2.64 MB

english, 2013

48

[IEEE 2010 IEEE 12th International Workshop on Multimedia Signal Processing (MMSP) - Saint-Malo, France (2010.10.4-2010.10.6)] 2010 IEEE International Workshop on Multimedia Signal Processing - Visual quality of current coding technologies at high definition IPTV bitrates

Keimel, Christian, Habigt, Julian, Habigt, Tim, Rothbucher, Martin, Diepold, Klaus

Year:

2010

Language:

english

File:

PDF, 3.23 MB

english, 2010

49

[IEEE 2012 Fourth International Workshop on Quality of Multimedia Experience (QoMEX 2012) - Melbourne, Australia (2012.07.5-2012.07.7)] 2012 Fourth International Workshop on Quality of Multimedia Experience - Challenges in crowd-based video quality assessment

Keimel, Christian, Habigt, Julian, Diepold, Klaus

Year:

2012

Language:

english

File:

PDF, 3.98 MB

english, 2012

50

[IEEE 2011 Third International Workshop on Quality of Multimedia Experience (QoMEX 2011) - Mechelen, Belgium (2011.09.7-2011.09.9)] 2011 Third International Workshop on Quality of Multimedia Experience - Design of no-reference video quality metrics with multiway partial least squares regression

Keimel, Christian, Habigt, Julian, Klimpke, Manuel, Diepold, Klaus

Year:

2011

Language:

english

File:

PDF, 766 KB

english, 2011